temporal logic language中文是什么意思

• 时序逻辑语言

• temporal    n. 太阳穴，颞部；颞骨[肌，动脉等]。 adj. 颞的 ...
• logic    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
• language    n. 1.语言；(某民族，某国的)国语；语调，措词。 2 ...
• temporal logic    时间逻辑 [时序逻辑; 时序逻辑, 时态逻辑, 暂时逻辑
• logic and language    逻辑和语言; 逻辑与语言
• logic language    逻辑语言
• logic of language    语言逻辑
• branching time temporal logic    分支时间时态逻辑
• first-order temporal logic    一组时态逻辑
• temporal logic specification    暂时逻辑说明
• time temporal logic, ttl    是时序逻辑
• ldl logic description language    逻辑描述语言
• logic in the chinese language    汉语与逻辑
• logic of natural language    自然语言逻辑
• logic programming language    逻辑编程语言; 逻辑程序设计语言
• logic-generating language    逻辑发生语言
• lql logic query language    逻辑查询语言
• predicate logic language    谓词逻辑语言
• tense logic language    时态逻辑语言
• tense-logic language    时态逻辑语言
• limited logic natural language system    有限逻辑自然语言系统
• local logic circuit analyzer language    逻辑电路分析器语言
• temporal    adj. 1.暂时的，一时的，转瞬间的(opp. eternal)。 2.此世的，现世的；世俗的(opp. spiritual)。 3.时的，时间的 (opp. spatial) 【语法】表示时间的，时态的。 n. 1.一时的事物；俗事。 世事。 2.世俗的权力〔多指教会的财产和收入〕。 a temporal death 假死。 temporal aims 世俗的目标。 temporal conjunctions 时间连接词(如 when, while 等)。 temporal matters 世俗的事物。 temporal peers＝lords temporal 不居僧职的上院议员。 adv. -ly n. 太阳穴，颞部；颞骨[肌，动脉等]。 adj. 颞的。 the temporal bone 颞骨。
• -logic    -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
• and logic    “与”逻辑

• We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component , and to formally describe system in different hierarchy
  由于构件可能具有不同的抽象层次和粒度，我们采用了时序逻辑语言xyz e作为构件描述语言，这种语言能够描述构件的静态语义和动态执行，并且能在不同抽象层次上对系统进行形式化描述。